package com.googlecode.kipler.reasoning;

import com.googlecode.kipler.container.dl.Individual;
import com.googlecode.kipler.syntax.concept.Concept;
import com.googlecode.kipler.syntax.concept.Nominal;

public class NominalApplicationCondition {
	private Concept phi;

	private Individual s;

	private Nominal t;

	public NominalApplicationCondition(Concept phi, Individual s, Nominal t) {
		super();
		this.phi = phi;
		this.s = s;
		this.t = t;
	}

	public Concept getPhi() {
		return phi;
	}

	public void setPhi(Concept phi) {
		this.phi = phi;
	}

	public Individual getS() {
		return s;
	}

	public void setS(Individual s) {
		this.s = s;
	}

	public Nominal getT() {
		return t;
	}

	public void setT(Nominal t) {
		this.t = t;
	}

}
